PROGRAMMABLE DIGITAL CURRENCIES